1. Einführung in die klassische Philologie /
پدیدآورنده: Gerhard Jäger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Classical philology.,Classical philology.,Filologie.,Klassieke talen.
رده :
PA93
.
J3
2. Feferman on foundations :
پدیدآورنده: Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
3. Language, Games, and Evolution
پدیدآورنده: edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computational complexity.,Computer science.,Computer software.
4. Private military and security companies
پدیدآورنده: Thomas Jäger, Gerhard Kümmel (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Contracting out.,Internal security-- Government policy.,Mercenary troops.,National security-- Government policy.,Paramilitary forces.,Private military companies.,Private security services.,Privatization.,Security, International-- Government policy.
5. Theories for admissible sets :
پدیدآورنده: Gerhard Jäger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Admissible sets,Definability theory (Mathematical logic),Proof theory
6. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده: Jager, Gerhard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986
